difference between statically and dynamically typed languages